# name : Filter(f, x), extracts the elements of a vector
# key : Filter.base
# contributor: Shuguang Sun
# contributor: Shuguang Sun
# Filter extracts the elements of a vector
# --
Filter(${1:f}, ${2:x})$0